Lean - lean-lambdakansai

Lean

https://lean-lang.org/

ドキュメント

https://lean-lang.org/doc/reference/latest/